program correctness

program correctness

 英

  • un.程序正确性
  • 网络程式正确性

英汉解释

un.
1.
程序正确性

例句

Side effects complicate the math required to prove program correctness.

副作用验证程序正确数学问题复杂化

Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees

基于语法程序正确性验证模型算法设计

A Developing Method of Programs Based on the Proof Theoryof Program Correctness

一种基于程序正确性证明理论程序开发方法